集装箱码头同贝同步装卸调度的多阶段混合流水线模型

针对同贝同步装卸的无等待、阻塞和批处理等特征,将其抽象为一类特殊的混合流水线问题,建立同贝同步装卸的优化调度模型,并进行模型的下界推导.为求解模型,设计基于禁忌搜索与启发式分配规则的求解算法.最后,通过算例验证模型与算法的有效性.结果表明:所建立的模型有利于实现装卸、以及各环节的同步调度;所设计的求解方法,可以保证调度方案的科学性和有效性.     

曲面论高斯方程公式的几种形式的推导方法

考虑曲面论高斯方程公式的表示问题.运用曲面上基本方程的矩阵表示法,给出高斯方程直接的显式公式表示;指出高斯曲率简化公式的推导来源,揭示出高斯曲率隐式公式的发现过程,并给出了Liouville形式的高斯方程的证明过程.     

混合法计算城市微蜂窝小区上空电场分布

由于基站电磁辐射对飞行器的飞行安全构成潜在威胁,本文提出了一种混合计算方法来研究城市微蜂窝小区上空电场分布情况.该方法通过将城市微蜂窝小区电波传播模型和二维宽角抛物线方程方法相结合,更加精确的计算出小区上空电场分布情况.计算结果表明,微蜂窝小区上空电场分布会受到小区布局的影响.并且在小区上空,出现多径快衰落现象.计算结果为人们研制具有抗干扰能力的飞行控制系统提供了重要的电磁环境参数.还可以帮助人们制定更加安全的飞行线路.     

n维平均曲率方程同宿解的存在唯一性

本文应用Mawhin重合度拓展定理和分析方法研究了n 维广义平均曲率方程2kT周期解的存在性,证明了周期解序列存在极限,且极限点就是这个系统的同宿解.     

Helmholtz方程的指数函数法多波解

在线性近似下,Helmholtz方程能够描述小尺度大气声波波动.因此分析小规模大气声波波动特性,必须对Helmholtz方程进行求解.大多数求解Helmholtz方程的方法是在某些边界条件和初始条件下进行的,而边界条件和初始条件本身就是在假设、近似的基础上得到的,且会使得计算过程复杂和计算量变大.指数函数法具有多个自由参数是求解非线性问题精确解的一种十分有效、直接的工具,且在求解时不要考虑边界条件和初始条件,对函数进行指数和双曲正切变换的共同作用可近似为线性变换.基于上述思想,本文首先对Helmholtz方程进行反正切变换,将其转化为非线性方程,其次进行单波解、双波解和三波解的假设并对其进行了求解,最后,利用次声波和可听声波对单波,双波和三波解进行了3维空间和2维平面的数值模拟.结果表明,求解方法简单、直观,且在线性近似下,不同频率的声波具有不同的传播特性,双波、三波沿着各自的方向传播,互不干扰.     

多元一次不定方程解的结构及其应用

初等数论是密码学研究的重要基础理论.引入多元一次不定方程的概念,利用多元一次不定方程解的存在性条件和二元一次不定方程一般解的结构,采用递推的数学归纳法,得到并证明了多元一次不定方程一般解及其特解的结构形式.进一步研究并给出了多元一次同余方程非负整数解的存在性条件,在此基础之上利用这个存在性条件对RSA公钥密码体制进行了密钥多元化的改进,论证了其加解密算法的正确性.最后通过例解说明改进后的RSA公钥密码体制较原密码体制更为安全可靠且易于实现.     

基于Tesseral2D的水下砂体地震正演计算

基于水下砂层与围岩的波阻抗差异,应用地震波数值模拟软件Tesseral2D建立含有水、粉细砂、砾砂和砾岩的起伏地层模型,在不同的道间距、最小偏移距、子波频率以及不同岩体波速条件下分别对该模型进行正演计算。一般情况下,在震源频率为400 Hz、最小偏移距为5 m、道间距为1 m或2 m时,地震波响应明显、同相轴清晰、干扰波较少,水下地层界面反映良好。进一步结合南京长江第二大桥桥址区的地质资料,建立含有水、淤泥质粉质黏土、粉细砂、砾砂、砂砾卵石和砾岩的水下砂层模型,应用Tesseral2D软件对该模型进行正演研究。结果表明,在震源频率为400 Hz、道间距为2 m以及最小偏移距为5 m时,地震响应能很好地反映水下各岩层界面,特别是能较明显地圈定水下砂层的厚度和分布范围,为实际水下砂体的地震勘探提供理论依据。     

广义 Davey-Stewartson 的精确解

利用动力系统分支方法研究广义Davey-Stewartson方程的精确行波解,给出了分支相图和分支分析,根据分支分析求出该方程的几组解.     

一类非线性阻尼Petrovsky方程的整体解的存在性

主要研究非线性阻尼Petrovsky方程utt+Δ2 u+a(1+|ut|r)ut=b|u|pu在有界区域的初边值问题.应用势井理论,通过定义位势井的深度和稳定集,利用稳定集的不变性及有界性原理证明了此问题整体解的存在性.     

I{2}和M{2}的有效刻画(英文)

Stewart给出了一个矩阵2-逆集合M{2}的刻画公式.但其中含有多余的任意参数,因而不是一个有效刻画.本文利用方阵的满秩分解,为I{2}_s的一个真子集B_1剔除了Stewart公式中的多余任意参数,得到了B_1的有效刻画公式;还证明了I{2}是其有限个子集的并集,其中每个子集与B_1等距同构.由此可分别建立I{2},I{2},M{2}和M{2}的有效刻画公式.算法2.1则可用于无重复地计算I{2}_s的每个元素.